If future explorers manage to set up communities on Mars, how will they pay their way? What's likely to be the Red Planet's primary export? Will it be Martian deuterium, sent back to Earth for fusion fuel? Raw materials harvested by Mars-based asteroid miners, as depicted in the "For All Mankind" TV series? Or will future Martians …